● Langage formalisé ensemble (généralement infini) d'assemblages de symboles appelés expressions, qui sont construits à partir d'un alphabet en vertu de règles de formation qui sont explicitées (par opposition à langage naturel).
Encyclopédie Universelle. 2012.
langage — [ lɑ̃gaʒ ] n. m. • v. 1160; lengatge v. 980; de langue I ♦ 1 ♦ Fonction d expression de la pensée et de communication entre les hommes, mise en œuvre au moyen d un système de signes vocaux (parole) et éventuellement de signes graphiques… … Encyclopédie Universelle
LANGAGE (PHILOSOPHIES DU) — L’intérêt pour la langue est un trait dominant de la philosophie contemporaine. Non que nos contemporains soient les premiers à découvrir le langage. Celui ci a toujours été à la place d’honneur dans la philosophie, tant il est vrai que la… … Encyclopédie Universelle
Langage Formel — Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode d expression plus formalisé et plus précis (les deux n allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). En… … Wikipédia en Français
Langage formel — Dans de nombreux contextes (scientifique, légal, etc.), on désigne par langage formel un mode d expression plus formalisé et plus précis (les deux n allant pas nécessairement de pair) que le langage de tous les jours (voir langage naturel). En… … Wikipédia en Français
Langage politique — Rhétorique Pour les articles homonymes, voir Rhétorique (homonymie). Démosthène s exerçant à la parole, toile de Jean Jules Antoine Lecomte du No … Wikipédia en Français
Langage HTML — Hypertext Markup Language L’Hypertext Markup Language, généralement abrégé HTML, est le format de données conçu pour représenter les pages web. C’est un langage de balisage qui permet d’écrire de l’hypertexte, d’où son nom. HTML permet également… … Wikipédia en Français
Langage de balisage d'hypertexte — Hypertext Markup Language L’Hypertext Markup Language, généralement abrégé HTML, est le format de données conçu pour représenter les pages web. C’est un langage de balisage qui permet d’écrire de l’hypertexte, d’où son nom. HTML permet également… … Wikipédia en Français
être formalisé — ● être formalisé verbe passif Langage formalisé, ensemble (généralement infini) d assemblages de symboles appelés expressions, qui sont construits à partir d un alphabet en vertu de règles de formation qui sont explicitées (par opposition à… … Encyclopédie Universelle
SmallTalk (langage) — Smalltalk Apparu en Développement démarré en 1969, disponible publiquement en 1980 Auteur Alan Kay, Dan Ingals, Ted Kaehler, Adele Goldberg, Claude Roy … Wikipédia en Français
métalangage — [ metalɑ̃gaʒ ] n. m. • 1946; de méta et langage; en polonais, Tarski, 1931 1 ♦ Log. Langage formalisé supérieur qui décide de la vérité des propositions du langage objet. 2 ♦ Ling. Langage (naturel ou formalisé) qui sert à décrire la langue… … Encyclopédie Universelle
